大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon B枚rger on the Occasion of His 60th Birthday

0
索取号：
作者：Abrial、 Jean-Raymond.、Gl盲sser、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Declarative Agent Languages and Technologies VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

0
索取号：
作者：Baldoni、 Matteo.、Bentahar、 Jamal.、Riemsdijk、 M. Birna.、Lloyd、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Domain Decomposition Methods in Science and Engineering XIX [electronic resource]

0
索取号：
作者：Huang、 Yunqing.、Kornhuber、 Ralf.、Widlund、 Olof.、Xu、 Jinchao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Interference-optical Methods of Solid Mechanics [electronic resource]

0
索取号：
作者：Razumovsky、 Igor A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Transactions on Pattern Languages of Programming I [electronic resource]

0
索取号：
作者：Noble、 James.、Johnson、 Ralph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Optimal Models and Methods with Fuzzy Quantities [electronic resource]

0
索取号：
作者：Cao、 Bing-Yuan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

0
索取号：
作者：Hu、 Zhenjiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithms and Computation [electronic resource] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

0
索取号：
作者：Dong、 Yingfei.、Du、 Ding-Zhu.、Ibarra、 Oscar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Web and Wireless Geographical Information Systems [electronic resource] : 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

0
索取号：
作者：Carswell、 James D.、Fotheringham、 A. Stewart.、McArdle、 Gavin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Geospatial Free and Open Source Software in the 21st Century [electronic resource] : Proceedings of the first Open Source Geospatial Research Symposium, OGRS 2009

0
索取号：
作者：Bocher、 Erwan.、Neteler、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Visual Computing [electronic resource] : 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30-December 2, 2009. Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Kuno、 Yoshinori.、Wang、 Junxian.、Pajarola、 Renato.、Lindstrom、 Peter.、Hinkenjann、 Andr茅.、Encarna莽茫o、 Miguel L.、Silva、 Cl谩udio T.、Coming、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Direct Methods in the Theory of Elliptic Equations [electronic resource]

0
索取号：
作者：Ne膷as、 Jind艡ich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

0
索取号：
作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

0
索取号：
作者：Breitman、 Karin.、Cavalcanti、 Ana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Visual Computing [electronic resource] : 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Kuno、 Yoshinori.、Wang、 Junxian.、Wang、 Jun-Xuan.、Wang、 Junxian.、Pajarola、 Renato.、Lindstrom、 Peter.、Hinkenjann、 Andr茅.、Encarna莽茫o、 Miguel L.、Silva、 Cl谩udio T.、Coming、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

HCI and Usability for e-Inclusion [electronic resource] : 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

0
索取号：
作者：Holzinger、 Andreas.、Miesenberger、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.